For loop

Results: 2257



#Item
591Algebraic geometry / Invariant / Homogeneous polynomial / Loop invariant / Monomial / Quantum invariant / Mathematics / Algebra / Invariant theory

A Data Driven Approach for Algebraic Loop Invariants? Rahul Sharma1 , Saurabh Gupta2 , Bharath Hariharan2 , Alex Aiken1 , Percy Liang1 , and Aditya V. Nori3 2

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2013-01-08 02:57:59
592Australian subscription television services / Local loop / Telecommunications in Australia / Network architecture / TransACT / Electronics / Home wiring / Fiber to the x / Electrical conduit / Electrical wiring / Electronic engineering / Electromagnetism

Preparing a home for TransACT fibre-to-the-premise (FTTP) services A guide for builders, telecommunications cablers and home owners transact.com.au

Add to Reading List

Source URL: www.transact.com.au

Language: English - Date: 2014-03-30 22:27:59
593Wireless networking / Network architecture / Network access / Local loop / Backhaul / Radio over Fiber / WiMAX / Triple play / Last mile / Electronic engineering / Technology / Electronics

Radio over Fiber Architecture for Metro Access and Backhaul Presented at Wireless Communication Alliance (WCA) San Jose, CA

Add to Reading List

Source URL: www.wca.org

Language: English - Date: 2007-01-24 16:31:35
594Scripting languages / Cross-platform software / High-level programming languages / Perl / Parrot virtual machine / Ruby / Constructor / Foreach loop / Parrot / Computing / Software engineering / Computer programming

PERL 6 and PARROT An Overview Presentation for NYSA The New York System Administrators Association June 9th, 2004 By Josh Rabinowitz

Add to Reading List

Source URL: joshr.com

Language: English - Date: 2004-08-10 00:40:51
595Audio mixing / Niles /  Illinois / Shure / Wireless microphone / Mixing console / Microphone / Stereophonic sound / Loudspeaker / Electronics / Technology / Sound

UpdatedSound and communications Audio tie line infrastructure 48 way starquad audio tie line loop for microphone circuits, terminating on 3 x 16 way multipin sockets at each stage corner, orchestra pit, soun

Add to Reading List

Source URL: www.thelowry.com

Language: English - Date: 2015-02-13 09:40:10
596Control flow / First-order logic / FO / IP / Resolution / Assignment / Foreach loop / Variable / Loop counter / Mathematics / Logic / Software engineering

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover ? Laura Kov´acs1 and Andrei Voronkov2 2 1

Add to Reading List

Source URL: www.complang.tuwien.ac.at

Language: English - Date: 2010-02-15 09:12:21
597Technology / Electronic engineering / British Telecom / G.992.5 / Be Unlimited / Local-loop unbundling / Asymmetric digital subscriber line / BT 21CN / Modem / Digital subscriber line / Electronics / Broadband

UK Broadband Mapping: Methodology for availability and take-up mapping Prepared by: Oliver Johnson

Add to Reading List

Source URL: point-topic.com

Language: English - Date: 2014-05-08 08:03:42
598AVL / Validation / NEC / Siemens / Hardware-in-the-loop simulation / Association for Standardisation of Automation and Measuring Systems / Technology / Transport / Horiba

ww 5 Korea’s Automotive Testing, Evaluation and Quality Engineering Trade Fair!

Add to Reading List

Source URL: www.testing-expokorea.com

Language: English - Date: 2015-03-20 04:37:33
599Tree / Line graph / Random walk / Random graph / Loop-erased random walk / Graph theory / Stochastic processes / Graph operations

Linear cover time for trees is exponentially unlikely

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2012-12-09 16:22:45
600Automatic identification and data capture / Radio electronics / Radio-frequency identification / Electromagnetic compatibility / Electronic design / Loop antenna / Antenna / Impedance matching / Inductive coupling / Electronic engineering / Telecommunications engineering / Technology

118 IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, VOL. 56, NO. 1, FEBRUARY 2007 Energy Scavenging for Inductively Coupled Passive RFID Systems

Add to Reading List

Source URL: sensor.cs.washington.edu

Language: English - Date: 2012-09-14 16:56:22
UPDATE